<HTML><HEAD><TITLE>library(fd_sbds)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(fd_sbds)</H1>
Symmetry Breaking During Search (SBDS)
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="is_sbds_var-1.html"><STRONG>is_sbds_var(?Var)</STRONG></A></DT>
<DD>checks whether a variable is an SBDS variable</DD>
<DT><A HREF="sbds_get_index-2.html"><STRONG>sbds_get_index(?Var, -Idx)</STRONG></A></DT>
<DD>get the index of an SBDS attributed variable</DD>
<DT><A HREF="sbds_get_matrix-2.html"><STRONG>sbds_get_matrix(?Var, -Matrix)</STRONG></A></DT>
<DD>get the matrix (array) of SBDS attributed variables</DD>
<DT><A HREF="sbds_initialise-4.html"><STRONG>sbds_initialise(+VarMatrix, +SymPreds, ++FixPred, +Options)</STRONG></A></DT>
<DD>Initialises the data needed for sbds</DD>
<DT><A HREF="sbds_initialise-5.html"><STRONG>sbds_initialise(+VarMatrix, ++NDims, +SymPreds, ++FixPred, +Options)</STRONG></A></DT>
<DD>Initialises the data needed for sbds</DD>
<DT><A HREF="sbds_try-2.html"><STRONG>sbds_try(?Var, ++Val)</STRONG></A></DT>
<DD>tries to assign a variable to a value</DD>
</DL>
</BLOCKQUOTE>
<H2>Description</H2>
Symmetry Breaking During Search (SBDS) library, provides predicates to initalise symmetry breaking during search search and to perform the search, as well as utility functions for prining and unification.
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Warwick Harvey &amp; Karen Petrie
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 05:45:20 $
</UL>
<HR>Generated from fd_sbds.eci on 2009-05-27 01:25
</BODY></HTML>
